GPU Shape Grammars

GPU Shape Grammars provide a solution for interactive procedural generation, tuning and visualization of massive environment elements for both video games and production rendering. Our technique generates detailed models without explicit geometry storage. To this end we reformulate the grammar expansion for generation of detailed models at the tesselation control and geometry shader stages. Using the geometry generation capabilities of modern graphics hardware, our technique generated massive, highly detailed models. GPU Shape Grammars integrate within a scalable framework by introducing automatic generation of levels of detail at reduced cost. We apply our solution for interactive generation and rendering of scenes containing thousands of buildings and trees.     

Finite Volume Time Domain modelling of microwave breakdown and plasma formation in a metallic aperture

The modelling of plasma formation during microwave breakdown is a difficult task because of the strong non-linear coupling between Maxwell?s equations and plasma equations, and of the large plasma density gradients that form during breakdown. An original Finite Volume Time Domain (FVTD) method has been developed to solve Maxwell?s equations coupled with a simplified fluid plasma model and is described in this paper. This method is illustrated with the study of the shielding of a metallic aperture by the plasma generated by an incident high power electromagnetic wave. Typical results obtained with the FVTD method for this shielding problem are shown.     

Control-oriented modeling of a three-way catalytic converter with observation of the relative oxygen level profile

The paper presents a novel control-oriented, first-principle model of a three-way catalytic converter (TWC). The model accurately predicts the air–fuel ratio downstream of the catalyst and provides insights into the relative oxygen level (ROL) profile along the catalyst. The reaction mechanism of the TWC model is simplified to only two reactions, with oxygen being the only species stored on the active surface of the catalyst. All the information about the gas composition is taken from the upstream wide-range oxygen sensor. Additional model inputs are the exhaust gas temperature and the exhaust mass flow. The model is parameterized with only a few measurements from an engine test bench. Exact values of gas concentrations are not needed at any point.The ROL profile is a good indicator for the condition of the TWC. It can therefore be used to derive optimal TWC depletion strategies after fuel cut-off phases. Since the model is real-time capable, the ROL profile can even be used for on-line control strategies. Based thereon, a causal strategy is proposed with results that match those of the non-causal strategies found in off-line optimizations.     

Dynamic Spar Elements and Discrete Element Methods in Two Dimensions for the Modeling of Soil-Inclusion Problems

Discrete element methods (DEMs) provide new numerical means to study the behavior of soil-inclusion systems. In some cases, however, the classic DEM fails to model specific aspects of the inclusions. That is why a model based on spar elements is introduced, designed specifically for inclusions. In this model, the movement of the inclusion is considered as a dynamic process and is computed step by step in the same way as in the DEM. The model can be coupled with a DEM code, thus enabling one to simulate the interaction between an inclusion and a disk assembly. Contact laws at the contacts between disks and spar elements describe the interface constitutive behavior. Finally, the results obtained by simulating a geosynthetic anchorage in two different ways are reported. In the first case the inclusion is represented by disks, while in the last case it is represented by spar elements. The comparison shows that spar elements are much more versatile and can simplify the calibration of the discrete models used to simulate soil-inclusion systems.     

A New Method for Measurement of Helium Mass Flow Rate in the Cryogenic System of TORE SUPRA

The TORE SUPRA Tokamak was built by EURATOM-CEA association. The NbTi conductor of superconducting coils is inserted in a tight enclosure filled with pressurized superfluid helium of 0.125 MPa at 1.8 K. The thick casing is cooled to 4.5 K by 1.8 MPa in 4.5 K supercritical helium circulation. Around this thick casing, a 80 K thermal shield protects the parts at very low temperatures from the thermal radiation, which is cooled by pressurized helium at 80 K and 1.8 MPa. A new measurement method for helium mass flow rate of 80 K shield and 4.5 K casing is described in this paper. The commissioning was done on the two helium loops of the cryoplant: the supercritical 4.5 K thick casing and 80 K shields. The purpose is to improve control of the 4.5 K and 80 K refrigeration loops.     

Cantilever-based microsystem for contact and non-contact deposition of picoliter biological samples

This paper describes a cantilever-based microsystem that permits the deposition of picoliter biological samples using a contact or non-contact method. Arrays of silicon-based cantilevers have been used to produce DNA microarrays. An electrowetting-on-dielectric (EWOD) principle is applied for the loading of the liquid by controlling surface tension. Deposition is achieved by direct contact between cantilevers and the surface by capillary transport. A non-contact deposition method has also been developed. It consists in an electric-field applied between the cantilevers and a conductive surface. The results obtained demonstrate that our system meets the need for producing high-density DNA, protein and cell chips.     

Using ambients to control resources

Current software and hardware systems, being parallel and reconfigurable, raise new safety and reliability problems, and the resolution of these problems requires new methods. Numerous proposals aim at reducing the threat of bugs and preventing several kinds of attacks. In this paper, we develop an extension of the calculus of mobile ambients, named controlled ambients, that is suited for expressing such issues, specifically denial of service attacks. We present a type system for controlled ambients, which makes static resource control possible in our setting, and enhance it with a rich notion of resources .     

Isotropic Energies, Filters and Splines for Vector Field Regularization

The aim of this paper is to propose new regularization and filtering techniques for dense and sparse vector fields, and to focus on their application to non-rigid registration. Indeed, most of the regularization energies used in non-rigid registration operate independently on each coordinate of the transformation. The only common exception is the linear elastic energy, which enables cross-effects between coordinates. Cross-effects are yet essential to give realistic deformations in the uniform parts of the image, where displacements are interpolated.In this paper, we propose to find isotropic quadratic differential forms operating on a vector field, using a known theorem on isotropic tensors, and we give results for differentials of order 1 and 2. The quadratic approximation induced by these energies yields a new class of vectorial filters, applied numerically in the Fourier domain. We also propose a class of separable isotropic filters generalizing Gaussian filtering to vector fields, which enables fast smoothing in the spatial domain. Then we deduce splines in the context of interpolation or approximation of sparse displacements. These splines generalize scalar Laplacian splines, such as thin-plate splines, to vector interpolation. Finally, we propose to solve the problem of approximating a dense and a sparse displacement field at the same time. This last formulation enables us to introduce sparse geometrical constraints in intensity based non-rigid registration algorithms, illustrated here on intersubject brain registration.     

Generation and adaptation of computational surface meshes from discrete anatomical data

Fast and accurate scanning devices are nowadays widely used in many engineering and biomedical fields. The resulting discrete data is usually directly converted into polygonal surface meshes, using ‘brute‐force’ algorithms, often resulting in meshes that may contain several millions of polygons. Simplification is therefore required in order to make storage, computation and display possible if not efficient. In this paper, we present a general scheme for mesh simplification and optimization that allows to control the geometric approximation as well as the element shape and size quality (required for numerical simulations). Several examples ranging from academic to complex biomedical geometries (organs) are presented to illustrate the efficiency and the utility of the proposed approach. Copyright © 2004 John Wiley & Sons, Ltd.